Gary T. Leavens: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (6)
Най-популярни
Списък
- Списък
- Таблица

1

Transactions on Aspect-Oriented Software Development X

Transactions on Aspect-Oriented Software Development X

Springer-Verlag Berlin Heidelberg

Haihan Yin, Christoph Bockisch, Mehmet Akşit (auth.), Gary T. Leavens, Shigeru Chiba, Éric Tanter (eds.)

Година:

2013

Език:

english

Файл:

PDF, 4.84 MB

0 / 0

english, 2013

2

Transactions on Modularity and Composition I

Transactions on Modularity and Composition I

Springer International Publishing

Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens (eds.)

Година:

2016

Език:

english

Файл:

PDF, 11.85 MB

0 / 0

english, 2016

3

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.36 MB

0 / 0

english, 2010

4

Transactions on Aspect-Oriented Software Development IX

Transactions on Aspect-Oriented Software Development IX

Springer-Verlag Berlin Heidelberg

Dimitri Van Landuyt, Steven Op de beeck, Eddy Truyen, Wouter Joosen (auth.), Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter (eds.)

Година:

2012

Език:

english

Файл:

PDF, 8.82 MB

0 / 0

english, 2012

5

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)

Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani

Година:

2010

Език:

english

Файл:

PDF, 1.83 MB

0 / 0

english, 2010

6

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.42 MB

0 / 0

english, 2010